Verifier Pass
1. Check the class files syntactically
2. Check the class files semantically
3. Check the bytes codes
4. Runtime checks [optimization]

Return to Tracks